
 add_fsm_encoding \
       {iis_deser.iis_state} \
       { }  \
       {{000 00000001} {001 00000010} {010 00000100} {011 00001000} {100 00010000} {101 00100000} {110 01000000} }

 add_fsm_encoding \
       {iis_ser.iis_state} \
       { }  \
       {{000 000001} {001 000010} {010 000100} {011 001000} {100 010000} }
